/*
 * Copyright (c) Huawei Technologies Co., Ltd. 2025. All rights reserved.
 * You can use this software according to the terms and conditions of the Mulan PSL v2.
 * You may obtain a copy of Mulan PSL v2 at:
 *          http://license.coscl.org.cn/MulanPSL2
 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
 * EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
 * MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
 * See the Mulan PSL v2 for more details.
 */
#include "AbstractAlternatingAlignedBarrierHandlerState.h"
#include "AlternatingWaitingForFirstBarrier.h"

AbstractAlternatingAlignedBarrierHandlerState::AbstractAlternatingAlignedBarrierHandlerState(ChannelState state)
    : state(std::move(state)) {}

BarrierHandlerState* AbstractAlternatingAlignedBarrierHandlerState::BarrierReceived(
    Controller* controller,
    InputChannelInfo channelInfo,
    CheckpointBarrier* barrier,
    bool markChannelBlocked)
{
    LOG(">>>>>>>")
    if (barrier->GetCheckpointOptions()->IsUnalignedCheckpoint()) {
        return AlignedCheckpointTimeout(controller, barrier)
            ->BarrierReceived(controller, channelInfo, barrier, markChannelBlocked);
    }

    state.removeSeenAnnouncement(channelInfo);

    if (markChannelBlocked) {
        state.BlockChannel(channelInfo);
    }

    if (controller->AllBarriersReceived()) {
        controller->InitInputsCheckpoint(*barrier);
        controller->TriggerGlobalCheckpoint(*barrier);
        return FinishCheckpoint();
    }

    return TransitionAfterBarrierReceived(state);
}

BarrierHandlerState* AbstractAlternatingAlignedBarrierHandlerState::FinishCheckpoint()
{
    state.UnblockAllChannels();
    return new AlternatingWaitingForFirstBarrier(state.EmptyState());
}